package demo.benchmarks.ModDiffNeq.LoopUnreach2;
public class newV{
	public static int snippet(int x) {
		if(x>10){
			if(x>12){
                return x;
            }
            else{
                return 12;
            }
		}
		else{
			if(x>x+1){
                return x;
            }
            else{
                return x+1;
            }
		}
	}
}